Microsoft Word - SGP07-Preprint.doc

Source URL: geometry.stanford.edu

• Operations research
• Mathematical optimization
• 3D modeling
• Topology
• Linear programming
• Mathematics
• Structure
• Computer science

Robust Optimization with Recovery: Application to Shortest Paths and Airline Scheduling Niklaus Eggenberg, Transport and Mobility Laboratory, EPFL Matteo Salani, Transport and Mobility Laboratory, EPFL Michel Bierlaire,

Source URL: www.strc.ch

• Operations research
• Mathematical optimization
• Mathematics
• Mathematical analysis
• Shortest path problem
• Robust optimization
• Linear programming
• Stochastic optimization
• SAMPL
• Global optimization
• Scenario optimization

Preliminary Study of Bloat in Genetic Programming with Behavior-Based Search Leonardo Trujillo, Enrique Naredo and Yuliana Martínez Doctorado en Ciencias de la Ingeniería, Departamento de Ingeniería Eléctrica y Elect

Source URL: eplex.cs.ucf.edu

• Genetic algorithms
• Evolutionary algorithms
• Applied mathematics
• Cybernetics
• Mathematical optimization
• Machine learning
• Artificial intelligence
• Learning
• Genetic programming
• Gastric dilatation volvulus
• Fitness landscape
• Genetic operator

Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS ∗ Feng Niu

Source URL: www.cs.stanford.edu

• Constraint programming
• Automated theorem proving
• Theoretical computer science
• Mathematics
• Mathematical logic
• Markov logic network
• WalkSAT
• Graph partition
• Nibbles
• Local search
• Resolution
• Alchemy

Tool Integration for Reasoned Programming? Andrew Ireland School of Mathematical and Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK

Source URL: vstte.ethz.ch

The DOE ACTS Collection The DOE Advanced CompuTational Software Collection The Department of Energy’s Advanced CompuTational Software (ACTS) Collection is a set of DOE-developed software tools that make it easier for p

Source URL: acts.nersc.gov

• Mathematical software
• Operations research
• Numerical software
• Numerical linear algebra
• Cross-platform software
• Portable
• Extensible Toolkit for Scientific Computation
• Computational science
• Wolfram Mathematica
• SageMath
• Mathematical optimization
• Linear programming
• Finite element method

??, ??, 1–23 (??) c ?? Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Efficient Dense Stereo with Occlusions for

Source URL: jamie.shotton.org

• Dynamic programming
• Equations
• Mathematical optimization
• Operations research
• Optimal control
• Systems engineering
• Matching
• Algorithm

A dynamic discrete-continuous choice model of car ownership and usage

Source URL: www.strc.ch

• Choice modelling
• Mathematical optimization
• Sedans
• Station wagons
• Discrete choice
• Dynamic programming
• Electric car
• Mathematical model
• Volkswagen Jetta
• Car
• Mini
• Economic model

Two-stage column generation and applications in container terminal management Ilaria Vacca, Transport and Mobility Laboratory, EPFL Matteo Salani, Transport and Mobility Laboratory, EPFL Michel Bierlaire, Transport and M

Source URL: www.strc.ch

• Mathematical optimization
• Operations research
• Numerical analysis
• Linear programming
• Convex optimization
• Column generation
• Duality
• DantzigWolfe decomposition
• Simplex algorithm

Mathematical Programming manuscript No. (will be inserted by the editor) Cut generation through binarization Pierre Bonami · Fran¸ cois Margot

Source URL: wpweb2.tepper.cmu.edu